An ordered sheaf representation of subresiduated lattices
نویسندگان
چکیده
منابع مشابه
Sheaf representation for topoi
It is shown that every (small) topos is equivalent to the category of global sections of a sheaf of so-called hyperlocal topoi, improving on a result of Lambek & Moerdijk. It follows that every boolean topos is equivalent to the global sections of a sheaf of well-pointed topoi. Completeness theorems for higher-order logic result as corollaries. The main result of this paper is the following. Th...
متن کاملRepresentation of Distributive Lattices by Means of Ordered Stone Spaces
1. Introduction Stone, in [8], developed for distributive lattices a representation theory generalizing that for Boolean algebras. This he achieved by topologizing the set X of prime ideals of a distributive lattice A (with a zero element) by taking as a base {P a : aeA} (where P a denotes the set of prime ideals of A not containing a), and by showing that the map a i-> P a is an isomorphism re...
متن کاملTopological representation of sheaf cohomology of sites
For a site S (with enough points), we construct a topological space X(S) and a full embedding φ of the category of sheaves on S into those on X(S) (i.e., a morphism of toposes φ: Sh(X(S)) → Sh(S)). The embedding will be shown to induce a full embedding of derived categories, hence isomorphisms H(S, A) = H∗(X(S), φ A) for any abelian sheaf A on S. As a particular case, this will give for any sch...
متن کاملSheaf-Theoretic Representation of Quantum Measure Algebras
We construct a sheaf-theoretic representation of quantum probabilistic structures, in terms of covering systems of Boolean measure algebras. These systems coordinatize quantum states by means of Boolean coefficients, interpreted as Boolean localization measures. The representation is based on the existence of a pair of adjoint functors between the category of presheaves of Boolean measure algeb...
متن کاملFUZZY ORDERED SETS AND DUALITY FOR FINITE FUZZY DISTRIBUTIVE LATTICES
The starting point of this paper is given by Priestley’s papers, where a theory of representation of distributive lattices is presented. The purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. In this way, some results of Priestley’s papers are extended. In the main theorem, we show that the category of finite fuzzy Priestley space...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1980
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700006390